大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Laboratory Guide to the Methods in Biochemical Genetics [electronic resource]

0
索取号：
作者：Blau、 Nenad.、Duran、 Marinius.、Gibson、 K. Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

0
索取号：
作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

0
索取号：
作者：Shao、 Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

0
索取号：
作者：Masuzawa、 Toshimitsu.、Tixeuil、 S茅bastien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Finite Element Methods for Engineering Sciences [electronic resource] : Theoretical Approach and Problem Solving Techniques

0
索取号：
作者：Chaskalovic、 Joel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

0
索取号：
作者：Holub、 Jan.、沤膹谩rek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Monte Carlo Methods in Fuzzy Optimization [electronic resource]

0
索取号：
作者：Buckley、 James J.、Jowers、 Leonard J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Intelligence [electronic resource] : Methods and Techniques

0
索取号：
作者：Rutkowski、 Leszek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Mechanics [electronic resource] : Proceedings of 鈥淚nternational Symposium on Computational Mechanics鈥ʵly 30鈥揂ugust 1, 2007, Beijing, China

0
索取号：
作者：Yao、 Z. H.、Yuan、 M. W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

0
索取号：
作者：Arenas、 Marcelo.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

0
索取号：
作者：Paschke、 Adrian.、Biletskiy、 Yevgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Landform - Structure, Evolution, Process Control [electronic resource] : Proceedings of the International Symposium on Landform organised by the Research Training Group 437

0
索取号：
作者：Otto、 Jan-Christoph.、Dikau、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

0
索取号：
作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Methods in Signal Processing and Digital Image Analysis [electronic resource]

0
索取号：
作者：Dahlhaus、 Rainer.、Kurths、 J眉rgen.、Maass、 Peter.、Timmer、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings

0
索取号：
作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings

0
索取号：
作者：Mele、 Francesco.、Ramella、 Giuliana.、Santillo、 Silvia.、Ventriglia、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院